Modern and prospective technologies for weather modification activities: Developing a framework for integrating autonomous unmanned aircraft systems
نویسندگان
چکیده
منابع مشابه
developing a pattern based on speech acts and language functions for developing materials for the course “ the study of islamic texts translation”
هدف پژوهش حاضر ارائه ی الگویی بر اساس کنش گفتار و کارکرد زبان برای تدوین مطالب درس "بررسی آثار ترجمه شده ی اسلامی" می باشد. در الگوی جدید، جهت تدوین مطالب بهتر و جذاب تر، بر خلاف کتاب-های موجود، از مدل های سطوح گفتارِ آستین (1962)، گروه بندی عملکردهای گفتارِ سرل (1976) و کارکرد زبانیِ هالیدی (1978) بهره جسته شده است. برای این منظور، 57 آیه ی شریفه، به صورت تصادفی از بخش-های مختلف قرآن انتخاب گردید...
15 صفحه اولFormal Methods for the Certification of Autonomous Unmanned Aircraft Systems
In this paper we assess the feasibility of using formal methods, and model checking in particular, for the certification of Unmanned Aircraft Systems (UAS) within civil airspace. We begin by modelling a basic UAS control system in PROMELA, and verify it against a selected subset of the CAA’s Rules of the Air using the SPIN model checker. Next we build a more advanced UAS control system using th...
متن کاملa framework for identifying and prioritizing factors affecting customers’ online shopping behavior in iran
the purpose of this study is identifying effective factors which make customers shop online in iran and investigating the importance of discovered factors in online customers’ decision. in the identifying phase, to discover the factors affecting online shopping behavior of customers in iran, the derived reference model summarizing antecedents of online shopping proposed by change et al. was us...
15 صفحه اولa framework for integrating distributed healthcare information systems
in the last two decades, the trend in healthcare information technology has been towards digital and multimedia concepts. the next generation of healthcare information systems will consist of a vast network of heterogeneous, autonomous and distributed imaging scanners, hospital information systems (his), medical information from clinical departments such as radiology information systems (ris), ...
متن کاملChoosing Replanning Strategies for Unmanned Aircraft Systems
Unmanned aircraft systems use a variety of techniques to plan collision-free flight paths given a map of obstacles and nofly zones. However, maps are not perfect and obstacles may change over time or be detected during flight, which may invalidate paths that the aircraft is already following. Thus, dynamic in-flight replanning is required. Numerous strategies can be used for replanning, where t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Atmospheric Research
سال: 2017
ISSN: 0169-8095
DOI: 10.1016/j.atmosres.2017.04.024